Internett som geopolitisk arena?

The Arena: December 1966: Arena

The Arena: December 1965: Arena

En automatisk navnegjenkjenner for norsk, svensk og dansk

I dette foredraget vil vi presentere et prosjekt som nettopp har kommet i gang, og som har fått NOK 1 000 000 fra NorFA til et nordisk nettverk. Prosjektet har to siktemål som henger nøye sammen. Det ene er å bygge nettverk mellom fire forskningsog utviklingsmiljøer ved UiO (Tekstlaboratoriet), UiB (HIT-senteret), GU (Språkdata) og CST. Det andre er praktisk: å utvikle en automatisk navnegjenkj...

IRIDIA’s Arena Tracking System

The information provided is the sole responsibility of the authors and does not necessarily reflect the opinion of the members of IRIDIA. The authors take full responsibility for any copyright breaches that may result from publication of this paper in the IRIDIA – Technical Report Series. IRIDIA is not responsible for any use that might be made of data appearing in this publication.

Totality in arena games

We tackle the problem of preservation of totality by composition in arena games. We first explain how this problem reduces to a finiteness theorem on what we call pointer structures, similar to the parity pointer functions of Harmer, Hyland & Melliès and the interaction sequences of Coquand. We discuss how this theorem relates to normalization of linear head reduction in simply-typed λ-calculus...